#include <stdio.h>

void main(void)
{
	printf("Hello, RVOS!\n");

	while (1) {}; // stop here!
}

